Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices

Dynamic geometry systems (DGS) have become basic tools in many areas of geometry as, for example, in education. Geometry Automated Theorem Provers (GATP) are an active area of research and are considered as being basic tools in future enhanced educational software as well as in a next generation of mechanized mathematics assistants. Recently emerged Web repositories of geometric knowledge, like TGTP and Intergeo, are an attempt to make the already vast data set of geometric knowledge widely available. Considering the large amount of geometric information already available, we face the need of a query mechanism for descriptions of geometric constructions. In this paper we discuss two approaches for describing geometric figures (declarative and procedural), and present algorithms for querying geometric figures in declaratively and procedurally described corpora, by using a DGS or a dedicated controlled natural language for queries.Comment: 14 pages, 5 figures, accepted at CICM 201

Integrating DGSs and GATPs in an Adaptative and Collaborative Blended-Learning Web-Environment

The area of geometry with its very strong and appealing visual contents and its also strong and appealing connection between the visual content and its formal specification, is an area where computational tools can enhance, in a significant way, the learning environments. The dynamic geometry software systems (DGSs) can be used to explore the visual contents of geometry. This already mature tools allows an easy construction of geometric figures build from free objects and elementary constructions. The geometric automated theorem provers (GATPs) allows formal deductive reasoning about geometric constructions, extending the reasoning via concrete instances in a given model to formal deductive reasoning in a geometric theory. An adaptative and collaborative blended-learning environment where the DGS and GATP features could be fully explored would be, in our opinion a very rich and challenging learning environment for teachers and students. In this text we will describe the Web Geometry Laboratory a Web environment incorporating a DGS and a repository of geometric problems, that can be used in a synchronous and asynchronous fashion and with some adaptative and collaborative features. As future work we want to enhance the adaptative and collaborative aspects of the environment and also to incorporate a GATP, constructing a dynamic and individualised learning environment for geometry.Comment: In Proceedings THedu'11, arXiv:1202.453

The role of European «ro-ro» port terminals in the automotive supply chain management

http://www.sciencedirect.com/science/article/B6VG8-4V5XNYN-2/2/e3b9cc9ae1d3da27edb4977da8fc19e

ACLIMATAÇÃO DA MAQUINARIA FOTOSSINTÉTICA DO CLONE DE SERINGUEIRA FX 3864 A CICLOS DE DEFICIÊNCIA HÍDRICA

A seringueira é uma espécie nativa da Amazônia, explorada comercialmente pela produção de látex para fabricação da borracha natural. Contudo, no Brasil estudos têm mostrado que a produtividade dos seringais pode ser afetada pela variação climática nos ambientes em que a cultura está inserida, principalmente quanto à limitação hídrica, e relatam que plantas submetidas a sucessivos estresses hídricos são capazes de desenvolver de forma mais rápida, respostas de aclimatação, potencializando seu desempenho quando submetidas novamente ao mesmo estresse. E assim, o objetivo do estudo foi testar a hipótese de que mudas clonais de seringueira FX 3864 submetidas a três ciclos de deficiência hídrica são capazes de apresentar respostas de aclimatação bem mais evidentes do que plantas submetidas a apenas um ciclo. Para isso foram monitoradas variáveis ecofisiológicas e microclimáticas durante todo o estudo, que foi desenvolvido em casa de vegetação, no município de Jerônimo Monteiro, ES. O experimento teve duração de 167 dias (outubro/2015 a abril/2016) e as mudas tinham 47 dias de enxertia ao iniciar os tratamentos. O delineamento experimental foi o inteiramente casualizado (DIC). Os tratamentos consistiram em ciclos de deficiência hídrica (DH): controle (plantas sempre irrigadas); 1C (plantas submetidas à um ciclo); 2C (plantas submetidas à dois ciclos); e 3C (plantas submetidas à três ciclos). Cada ciclo de DH foi caracterizado por duas fases, a inicial com a desidratação das plantas pela suspensão da irrigação até que a taxa de assimilação líquida (A) das plantas atingisse o valor zero (A ≤ 0), e a final com a reposição da água do substrato para próximo a capacidade de campo (CC). Após a reidratação das plantas, quando a taxa de A alcançou 90% da taxa das plantas do controle se iniciou um novo ciclo de deficiência hídrica. Os resultados mostraram que as plantas do tratamento 3C obtiveram maiores taxas de A, condutância estomática (gs), transpiração (E) e eficiência instantânea do uso da água (pela relação A/E) durante o terceiro ciclo de DH, encerrando o ciclo com 25% de água disponível (AD) no substrato, em relação as plantas 2C e 1C. O status hídrico das plantas do 3C, observado pelo conteúdo relativo de água (CRA) ao final do terceiro ciclo de DH, permaneceu semelhante ao das plantas-controle, indicando uma maior manutenção da turgescência nas células destas plantas. Já as plantas do 1C foram afetadas com a DH, pois mesmo com 44% de AD no substrato o status hídrico no interior das células foi reduzido significativamente, e em consequência os processos fisiológicos. Quanto aos pigmentos fotossintéticos as plantas do tratamento 3C acumularam maiores teores de pigmentos cloroplastídicos, com destaque para clorofila a e carotenóides em relação as plantas 2C e 1C. E, portanto, conclui-se que as plantas submetidas a três ciclos de DH aclimataram a sua maquinaria fotossintética ao longo dos estresses hídricos a que foram submetidas, ao contrário das plantas submetidas a um ciclo de DH, pois um único ciclo promoveu danos severos ao seu metabolismo causando intensa redução nas suas taxas fisiológicas e consequente abscisão foliar

Using Linguistic Information and Machine Learning Techniques to Identify Entities from Juridical Documents

Information extraction from legal documents is an important and open problem. A mixed approach, using linguistic information and machine learning techniques, is described in this paper. In this approach, top-level legal concepts are identified and used for document classifica- tion using Support Vector Machines. Named entities, such as, locations, organizations, dates, and document references, are identified using se- mantic information from the output of a natural language parser. This information, legal concepts and named entities, may be used to popu- late a simple ontology, allowing the enrichment of documents and the creation of high-level legal information retrieval systems. The proposed methodology was applied to a corpus of legal documents - from the EUR-Lex site – and it was evaluated. The obtained results were quite good and indicate this may be a promising approach to the legal information extraction problem

IMPLEMENTAÇÃO DO AUTOCUIDADO APOIADO PARA PACIENTES COM DIABETES MELLITUS TIPO 2 ACOMPANHADOS EM UMA UNIDADE BÁSICA DE SAÚDE DA FAMILIA DO MUNICÍPIO DE LUZIÂNIA-GO

O diabetes mellitos tipo 2 é uma doença crônica, com impacto mundial, que pode apresentar muitas complicações caso não seja adequadamente controlada. Na Atenção Básica, principal porta de entrada aos problemas crônicos de saúde, algumas metodologias apresentam resultados importantes na luta contra as complicações das doenças crônicas, com atuação importante do enfermeiro, como o apoio ao autocuidado. O Autocuidado Apoiado visa capacitar o indivíduo para se tornar agente ativo no processo de controle da condição crônica, por meio da adesão as mudanças necessárias no seu estilo de vida, favorecida por essa ferramenta, com o auxílio e acompanhamento do enfermeiro

A Review of the Ecological and Biogeographic Differences of Amazonian Floodplain Forests

Amazonian floodplain forests along large rivers consist of two distinct floras that are traced to their differentiated sediment- and nutrient-rich (várzea) or sediment- and nutrient-poor (igapó) environments. While tree species in both ecosystems have adapted to seasonal floods that may last up to 270–300 days year−1, ecosystem fertility, hydrogeomorphic disturbance regimes, water shortage and drought, fire, and even specific microclimates are distinct between both ecosystems and largely explain the differences in forest productivity and taxonomic composition and diversity. Here, we review existing knowledge about the influence of these environmental factors on the tree flora of both ecosystems, compare species composition and diversity between central Amazonian várzeas and igapós, and show that both ecosystems track distinct species life-history traits. The ecosystem-level and taxonomic differences also largely explain the biogeographic connections of várzeas and igapós to other Amazonian and extra-Amazonian ecosystems. We highlight the major evolutionary force of large-river wetlands for Amazonian tree diversity and explore the scenarios by which the large number of Amazonian floodplain specialist tree species might even contribute to the gamma diversity of the Amazon by generating new species. Finally, we call attention to the urgent need of an improved conservation of Amazonian várzea and igapó ecosystems and their tree species

Applying reduce SNP assays for inferring C-lineage introgression patterns in Iberian honeybee populations of the Azores archipelago

The genetic composition of the honeybee populations of the Macaronesian archipelago of the Azores is poorly known. Until now, only honeybee populations of the island of São Miguel have been surveyed for genetic variation through the use of the tRNAleu-cox2 intergenic mitochondrial DNA region and microsatellites. Here, we combine data from the mtDNA obtained with the DraI test (intergenic region) and from the nuclear DNA obtained with newly developed reduced SNP assays to provide a complete picture of introgression patterns in the Azorean honeybee populations at both mitochondrial and nuclear compartments. The sampling was carried out in 2014 and 2015 and comprised 474 colonies widely distributed across the 8 islands populated by honeybees. Our cyto-nuclear results show that C-derived introgression varies across the archipelago ranging from virtually pure populations of the Iberian honeybee in the island of Santa Maria (Q-values 30%). The introgression levels are alarming and contrast with those of the Iberian honeybee populations of the mainland in Iberia, which are still virtually free of C-derived introgression, despite frequent importation of commercial queens.info:eu-repo/semantics/publishedVersio

Can introgression in M-lineage honey bees be detected by abdominal colour patterns?

Honey bee abdominal pigmentation is one of the most recognisable traits and it is often used by beekeepers as an indicator of M-lineage subspecies purity. However, this approach may negatively impact population diversity and is futile if there is no association between tergite colour patterns and the genetic background. To assess whether this trait can be used as a proxy for introgression proportions in M-lineage subspecies, we genotyped, with highly informative SNP assays, A. m. mellifera and A. m. iberiensis individuals displaying four different colour phenotypes. The SNP data detected highly introgressed bees exhibiting a black phenotype and, at the same time, pure or marginally introgressed bees with yellow banding patterns, in both subspecies. Despite these observations, contrary to A. m. iberiensis , in A. m. mellifera , introgression proportions revealed to be a significant predictor of abdominal pigmentation. Therefore, abdominal pigmentation could be used by A. m. mellifera conservationists to guide colony selection when genetic tools are unavailable.KAB was funded by Dr. Tony Ryan research scholarship and an Irish Research Council scholarship. This work was financed by the Native Irish Honeybee Society (NIHBS), Federation of Irish Beekeeping Associations (FIBKA) and FEDER (Fundo Europeu de Desenvolvimento Regional) through the program COMPETE 2020–POCI (Programa Operacional para a Competividade e Internacionalização) and by the Portuguese funds through FCT (Fundação para a Ciência e a Tecnologia) in the framework of the project BeeHappy (POCI-01-0145-FEDER-029871).info:eu-repo/semantics/publishedVersio